*** empty log message ***

diff --git a/lispref/os.texi b/lispref/os.texi
index d12c188ad472468f82aba3e0935a57e651860020..caa02c94771cf5bed24940ea768825dfe573a63a 100644 (file)
--- a/lispref/os.texi
+++ b/lispref/os.texi
@@ -558,6 +558,9 @@ Hewlett-Packard operating system.
 @item irix
 Silicon Graphics Irix system.
 
+@item linux
+The free Linux operating system.
+
 @item rtu
 Masscomp RTU, UCB universe.